منابع مشابه
Testing a computational model of categorisation and category combination: Identifying disease categories and new disease combinations
The diagnostic evidence model gives a computational account of how people classify items in single categories and in category combinations (complex categories formed by combining two or more single categories). This model sets out to explain generativity in category combination (the fact that people can classify items in new category combinations even if they have never seen any examples of tho...
متن کاملAscent Properties of Auslander Categories
Let R be a homomorphic image of a Gorenstein local ring. Recent work has shown that there is a bridge between Auslander categories and modules of finite Gorenstein homological dimensions over R. We use Gorenstein dimensions to prove new results about Auslander categories and vice versa. For example, we establish base change relations between the Auslander categories of the source and target rin...
متن کاملAspect Categories and Classes of Temporal Properties
Generic categories of aspects are described, and their potential value is explained. For some categories, broad classes of syntactically identifiable temporal properties, such as safety, liveness, or existence properties, are guaranteed to hold for a system with any aspect of the category woven into it, if the property was true in the system without the aspect. Thus classes of properties preser...
متن کاملTriangulated Categories: Definitions, Properties and Examples
Triangulated categories were introduced in the mid 1960’s by J.L. Verdier in his thesis, reprinted in [15]. Axioms similar to Verdier’s were independently also suggested in [2]. Having their origins in algebraic geometry and algebraic topology, triangulated categories have by now become indispensable in many different areas of mathematics. Although the axioms might seem a bit opaque at first si...
متن کاملCLUSTER ALGEBRAS AND CLUSTER CATEGORIES
These are notes from introductory survey lectures given at the Institute for Studies in Theoretical Physics and Mathematics (IPM), Teheran, in 2008 and 2010. We present the definition and the fundamental properties of Fomin-Zelevinsky’s cluster algebras. Then, we introduce quiver representations and show how they can be used to construct cluster variables, which are the canonical generator...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Thinking & Reasoning
سال: 2005
ISSN: 1354-6783,1464-0708
DOI: 10.1080/13546780442000169